home *** CD-ROM | disk | FTP | other *** search
/ FM Towns: Free Software Collection 6 / FM Towns Free Software Collection 6.iso / ms_dos / happysrc / pascomp.h < prev    next >
Encoding:
C/C++ Source or Header  |  1993-07-08  |  24.3 KB  |  473 lines
  1. /********************************************
  2.  **                                        **
  3.  **     HAPPy Pascal Compiler              **
  4.  **        共通ヘッダ                      **
  5.  **                                        **
  6.  **         Copyright (c) H.Asano 1992     **
  7.  **                                        **
  8.  ********************************************/
  9.  
  10. /***************************************/
  11. /* HAPPyの制限事項となっている定数     */
  12. /***************************************/
  13. #define  Displimit        20            /* displayの配列数            */
  14. #define  Maxlevel         10            /* 関数･手続きの最大ネスト数  */
  15. #define  Maxstrlng       256            /* 最大文字列長               */
  16. #define  Maxdiglng        15            /* 最大実数型文字長           */
  17. #define  MaxIDlng         32            /* 名前の最大識別可能文字数   */
  18. #define  setlow            0            /* 集合の要素の最低値         */
  19. #define  sethigh          31            /* 集合の要素の最大値         */
  20. #define  Maxaddr       32767            /* 最大アドレス(型の大きさ)   */
  21. #define  Cixmax         1000            /* case文選択肢定数の範囲     */
  22. #define  Maxfileno         8            /* 外部ファイル数             */
  23.  
  24. /***************************************/
  25. /*          その他の定数               */
  26. /***************************************/
  27. #define  Maxint    2147483647 /* 整数の最大値                   */
  28. #define  ordminchar  0        /* 最小文字コード                 */
  29. #define  ordmaxchar  255      /* 最大文字コード                 */
  30.  
  31. #define  intsize    1         /* integer型のサイズ              */
  32. #define  realsize   1         /* real型のサイズ                 */
  33. #define  charsize   1         /* char型のサイズ                 */
  34. #define  boolsize   1         /* boolean型のサイズ              */
  35. #define  ptrsize    1         /* pointer型のサイズ              */
  36. #define  setsize    1         /* 集合型のサイズ                 */
  37. #define  stackelsize 1        /* スタックの1要素サイズ          */
  38. #define  parmsize stackelsize /* 手続き･関数の引数のサイズ      */
  39. #define  maxstack   1         /* stackの1要素の最大サイズ       */
  40. #define  charmax    1         /*    */
  41. #define  nil        0         /* pascal の nil と 同じ          */
  42.  
  43. #define  lcaftermarkstack 5   /* mst命令実行後のlcの値          */
  44. #define  inputadr  lcaftermarkstack    /* input  buffer address */
  45. #define  outputadr inputadr + charmax  /* output buffer address */
  46.  
  47. #define  intal         1      /* integer型の境界     */
  48. #define  realal        1      /* real   型の境界     */
  49. #define  charal        1      /* char   型の境界     */
  50. #define  boolal        1      /* boolean型の境界     */
  51. #define  adral         1      /* pointer型の境界     */
  52. #define  fileal     charal    /* file   型の境界     */
  53. #define  setal         1      /* set    型の境界     */
  54. #define  stackal       1      /*  */
  55. #define  parmal    stackal    /* パラメータの境界    */
  56. #define  recal         1      /* record    の境界    */
  57.  
  58.  
  59. /***********************************/
  60. /*      boolean型の定義            */
  61. /***********************************/
  62. typedef enum bool  {false = 0,          /* 偽 */
  63.             true  = 1           /* 真 */
  64.            }
  65.              boolean ;
  66.  
  67. /***********************************/
  68. /* set operation マクロ の定義     */
  69. /***********************************/
  70.  
  71.  
  72.  
  73. /* addset(S,pos) ･･･ Sに要素posを加える                 */
  74. /* inset (S,pos) ･･･ Sに要素posが含まれているか判定する */
  75.  
  76. #define addset(S,pos)     \
  77.     (*(((pos)>31) ? &(S.H) : &(S.L)) |= ((long)1 << ((pos)&0x1F)))
  78.  
  79. #define inset(S,pos)      \
  80.         (( (((pos)>31) ? (S.H) : (S.L)) >> ((pos)&0x1f) )&0x1)
  81.  
  82. typedef struct {
  83.        unsigned long H;   /* 32-63までの要素に対するエリア */
  84.        unsigned long L;   /*  0-31までの要素に対するエリア */
  85.      } Set ;
  86.  
  87.  
  88. /***********************************/
  89. /*         型のtypedef             */
  90. /***********************************/
  91. typedef struct Constant    csp ;  /* 定数  の構造体 */
  92. typedef struct Structure   stp ;  /* 構造  の構造体 */
  93. typedef struct Identifier  ctp ;  /* 名前  の構造体 */
  94. typedef struct labl        lbp ;  /* ラベルの構造体 */
  95.  
  96. /***************************************/
  97. /* pascal source の symbolの種類定義   */
  98. /***************************************/
  99. enum symbol   { ident,                  /* 名前                       */
  100.                 intconst,               /* 整数定数                   */
  101.                 realconst,              /* 実数定数                   */
  102.                 stringconst,            /* 2文字以上の文字列          */
  103.                 notsy,                  /* not                        */
  104.                 mulop,                  /* * / div mod and            */
  105.                 addop,                  /* + - or                     */
  106.                 relop,                  /* = <> < <= > >= in          */
  107.                 lparent,                /* (                          */ 
  108.         rparent,                /* )                          */
  109.         lbrack,                 /* [                          */
  110.                 rbrack,                 /* ]                          */
  111.                 comma,                  /* ,                          */
  112.                 semicolon,              /* ;                          */
  113.                 period,                 /* .                          */
  114.                 period2,                /* ..                         */
  115.                 arrow,                  /* ^                          */
  116.                 colon,                  /* :                          */ 
  117.                 becomes,                /* :=                         */
  118.                 labelsy,                /* label                      */
  119.                 constsy,                /* const                      */
  120.                 typesy,                 /* type                       */
  121.                 varsy,                  /* var                        */
  122.                 funcsy,                 /* func                       */
  123.                 progsy,                 /* program                    */
  124.                 procsy,                 /* procedure                  */
  125.                 setsy,                  /* set                        */
  126.                 packedsy,               /* packed                     */
  127.                 arraysy,                /* array                      */
  128.                 recordsy,               /* record                     */
  129.                 filesy,                 /* file                       */
  130.                 beginsy,                /* begin                      */
  131.                 ifsy,                   /* if                         */
  132.                 casesy,                 /* case                       */
  133.                 repeatsy,               /* repeat                     */
  134.                 whilesy,                /* while                      */
  135.                 forsy,                  /* for                        */
  136.                 withsy,                 /* with                       */
  137.                 gotosy,                 /* goto                       */
  138.                 endsy,                  /* end                        */
  139.                 elsesy,                 /* else                       */
  140.                 untilsy,                /* until                      */
  141.                 ofsy,                   /* of                         */
  142.                 dosy,                   /* do                         */
  143.                 tosy,                   /* to                         */
  144.                 downtosy,               /* downto                     */
  145.                 thensy,                 /* then                       */
  146.                 nilsy,                  /* nil                        */
  147.                 othersy                 /* その他の記号               */
  148.              }  ;
  149.  
  150. /***************************************/
  151. /* pascal の演算子の種類               */
  152. /***************************************/
  153. enum operator   {mul,                   /*    *                       */
  154.                  rdiv,                  /*    /                       */
  155.                  andop,                 /*    and                     */
  156.                  idiv,                  /*    div                     */
  157.                  imod,                  /*    mod                     */
  158.                  plus,                  /*    +                       */
  159.                  minus,                 /*    -                       */
  160.                  orop,                  /*    or                      */
  161.                  ltop,                  /*    <                       */
  162.                  leop,                  /*    <=                      */
  163.                  geop,                  /*    >=                      */
  164.                  gtop,                  /*    >                       */
  165.                  neop,                  /*    <>                      */
  166.                  eqop,                  /*    =                       */
  167.                  inop,                  /*    in                      */
  168.                  noop                   /*    演算子でないもの        */
  169.               } ;
  170.  
  171. /**********************************************************************/
  172. /****       プログラムパラメータ(ファイル名) に関する型定義        ****/
  173. /**********************************************************************/
  174.  
  175. typedef struct filerec  extfilep ;
  176.  
  177. struct filerec {
  178.    char      filename[MaxIDlng+1] ;     /* ファイル名                 */
  179.    extfilep  *nextfile            ;     /* 次へのポインタ             */
  180. } ;
  181.  
  182. /*********************************************************************/
  183. /****               label に関する型定義                          ****/
  184. /*********************************************************************/
  185.  
  186. struct labl {
  187.    lbp         *nextlab           ;     /* 次のlablアドレス           */
  188.    boolean     defined            ;     /* 定義フラグ　               */
  189.    int         labval             ;     /* pascalソース上のラベル値   */
  190.    int         labname            ;     /* P-codeソース上のラベル値   */
  191. }  ;
  192.  
  193. /*********************************************************************/
  194. /****             constant(定数)に関する型定義                    ****/
  195. /*********************************************************************/
  196.  
  197. enum cstclass { real,                   /* 実数型                     */
  198.                 pset,                   /* 集合型                     */
  199.                 strg } ;                /* 文字列型                   */
  200.  
  201. struct Constant {
  202.    enum cstclass   cclass    ;          /* 定数の種別                 */
  203.    union {
  204.       char         *rval         ;      /* 実数の定数を格納           */
  205.       Set          pval          ;      /* 集合値を格納               */
  206.       char         *sval         ;      /* 文字列定数を格納           */
  207.    }  c  ;
  208. }  ;
  209.  
  210. union valu {
  211.    long    ival   ;                     /* 整数､文字(1文字)           */
  212.    csp     *valp  ;                     /* 上記以外はcspへのポインタ  */
  213. } ;
  214.  
  215. /*********************************************************************/
  216. /****         identifiler(名前) に関する型定義                    ****/
  217. /*********************************************************************/
  218.  
  219. enum idclass {  types,                  /*  型                        */
  220.                 konst,                  /*  定数                      */
  221.                 vars,                   /*  変数                      */
  222.                 field,                  /*  レコードの欄              */
  223.                 proc,                   /*  手続き                    */
  224.                 func  };                /*  関数                      */
  225.  
  226. enum idkind   { actual,                 /*  実                        */
  227.                 formal }  ;             /*  仮                        */
  228.  
  229. enum declkind { standard,               /*  標準宣言                  */
  230.                 declared };             /*  ユーザ定義のもの          */
  231.  
  232. enum where       /****** displayで使い､この水準がどこの定義かを示す****/
  233.               { blck  ,                 /* block で定義されている     */
  234.                 crec  ,                 /* constant record            */
  235.                 vrec  ,                 /* variable record            */
  236.                 rec    }  ;             /* record                     */
  237.  
  238. struct Identifier {
  239.   char         name[MaxIDlng+1] ;  /* 名前                            */
  240.   char         linkno           ;  /* 引数の名前並び番号(引数のみ有効)*/
  241.   ctp          *llink           ;  /* 左へのポインタ                  */
  242.   ctp          *rlink           ;  /* 右へのポインタ                  */
  243.   stp          *idtype          ;  /* 名前の型                        */
  244.   ctp          *next            ;  /* 順序がある場合次へのポインタ    */
  245.   enum idclass klass            ;  /* 名前の種別                      */
  246.   union  { /*n*/
  247.     union valu values           ;  /* 定数 (konst)                    */
  248.     struct  { /*v*/                /* 変数 (vars)                     */
  249.       enum idkind vkind         ;  /*   変数の種別                    */
  250.       int         vlev          ;  /*   定義された水準                */
  251.       int         vaddr         ;  /*   変数の割りつけ開始アドレス    */
  252.     } v                         ;
  253.     int      fldaddr            ;  /* レコードの欄 (field)            */
  254.     struct  { /*pf*/               /* 手続き、関数 (proc,func)        */
  255.       enum declkind pfdeckind   ;  /*   宣言の種別 (standard/declared)*/
  256.       union   { /*sd*/
  257.         int   key               ;  /*[standard]  その識別数           */
  258.         struct { /*d*/             /*[declared]                       */
  259.           enum idkind pfkind    ;  /*     actual / formal             */
  260.           int pflev             ;  /*     定義された水準              */
  261.           union { /*af*/
  262.             struct { /*a*/         /*[actual]                         */
  263.               int pfname        ;  /*   p-codeラベル名                */
  264.               boolean forwdecl  ;  /*   前方宣言                      */
  265.           ctp *fwdptr       ;  /*   前方宣言リスト                */
  266.         } a                 ;
  267.         struct { /*f*/         /*[formal]                         */
  268.           int levadr        ;  /*   水準の格納アドレス            */
  269.           int adradr        ;  /*   実行開始アドレスの格納アドレス*/
  270.           ctp *prm          ;  /*   仮引数へのポインタ            */
  271.         } f                 ;
  272.       } af                  ;
  273.         } d                     ;
  274.       } sd                      ;
  275.     } pf                        ;
  276.   } n                           ;
  277. }                               ;
  278.  
  279. /*********************************************************************/
  280. /****             data structure  に関する型定義                  ****/
  281. /*********************************************************************/
  282.  
  283. enum structform {  scalar  ,    /* スカラー型 */
  284.                    subrange,    /* 範囲型     */
  285.                    pointer ,    /* ポインタ型 */
  286.                    power   ,    /*            */
  287.                    arrays  ,    /* 配列型     */
  288.                    records ,    /* レコード型 */
  289.                    files   ,    /* ファイル型 */
  290.                    tagfld  ,    /* ﾀｸﾞﾌｨｰﾙﾄﾞ  */ /* not structure */
  291.            variant } ;  /* 変数型     */ /* not structure */
  292.  
  293. typedef enum packedkind         /* 集合型の詰めあり/なし型の種別      */
  294.                  { unpacked,    /* 詰めなし (値0)････ falseと同じ     */
  295.                    packed  ,    /* 詰めなし (値1)････ true と同じ     */
  296.                    both    }    /* どちらでもない (集合構成子の場合)  */
  297.         packedkind          ;
  298.  
  299. struct Structure {
  300.    int              size           ;    /* その型のサイズ             */
  301.    enum structform  form           ;    /* 型の種別                   */
  302.    boolean          assignflag     ;    /* 代入可能な型の時  真       */
  303.    union {
  304.       struct {                          /*[scalar]                    */
  305.          enum declkind scalkind    ;    /*  standard/declared         */
  306.      ctp           *fconst     ;    /*  declared時 next欄で       */
  307.                                     /*    つながれる最後尾        */
  308.       } sc                         ;
  309.       struct {                          /*[subrange]                  */
  310.      stp           *rangetype  ;    /*  範囲の元となる型          */
  311.          long          min         ;    /*  最小値                    */
  312.          long          max         ;    /*  最大値                    */
  313.       } su                         ;
  314.       struct {                          /*[pointer]                   */
  315.      stp           *eltype     ;    /*  指し示すものの型          */
  316.       } pt                         ;
  317.       struct {                          /*[power]                     */
  318.          packedkind    packed      ;    /*  詰めあり/なし/両方        */
  319.      stp           *elset      ;    /*  要素の型                  */
  320.      int           elmin       ;    /*  要素の最小値              */
  321.      int           elmax       ;    /*  要素の最大値              */
  322.       } pw                         ;
  323.       struct {                          /*[arrays]                    */
  324.          boolean       packed      ;    /*  packed表示                */
  325.      stp           *aeltype    ;    /*  要素の型                  */
  326.      stp           *inxtype    ;    /*  添え字の型                */
  327.       } ar                         ;
  328.       struct {                          /*[records]                   */
  329.          boolean       packed      ;    /*  packed表示                */
  330.      ctp           *fstfld     ;    /*  レコードの最初の欄        */
  331.      stp           *recvar     ;    /*  可変部のtagfldをもつstp   */
  332.       } re                         ;
  333.       struct {                          /*[files]                     */
  334.          boolean       packed      ;    /*  packed表示                */
  335.          boolean       texttype    ;    /*  text型の時 真             */
  336.      stp           *filtype    ;    /*  ファイルの要素の型        */
  337.       } fi                         ;
  338.       struct {                          /*[tagfld] 可変要素選択子     */
  339.      ctp           *tagfieldp  ;    /*  タグ欄の名前              */
  340.      stp           *tagtype    ;    /*  タグ型                    */
  341.      stp           *fstvar     ;    /*  可変要素へのポインタ      */
  342.       } tg                         ;
  343.       struct {                          /*[variant] 可変要素          */
  344.      stp           *nextvr     ;    /*  次の可変要素              */
  345.      stp           *subvar     ;    /*  配下の可変部              */
  346.          long          varval      ;    /*  選択定数の値              */
  347.       } vr                         ;
  348.    } sf                            ;
  349. }                                  ;
  350.  
  351. /*********************************************************************/
  352. /****                     式  に関する型定義                      ****/
  353. /*********************************************************************/
  354.  
  355. enum attrkind {
  356.                 cst ,                   /* 定数                       */
  357.                 varbl,                  /* 変数                       */
  358.                 expr  };                /* 式                         */
  359.  
  360. enum vaccess {
  361.                 drct   ,                /* 直接                       */
  362.                 indrct                  /* 間接                       */
  363.              }         ;
  364.  
  365. typedef struct attr {
  366.    stp             *typtr ;             /* 型へのアドレス             */
  367.    enum attrkind   kind   ;             /* cst/varbl/expr             */
  368.   /*** kind=cst の 場合 ***/
  369.    union valu      cval   ;             /*[cst]  定数の値             */
  370.   /*** kind=varbl  の場合 ***/
  371.    enum  vaccess   access ;             /* drct/indrct                */
  372.    int   vlevel           ;             /*[drct] 定義された水準       */
  373.    int   dplmt            ;             /*[drct] 割りつけ開始番地     */
  374.    int   idplmt           ;             /*[indrct]                    */
  375. } attr ;
  376.  
  377. /*********************************************************************/
  378. /****             共通変数                                        ****/
  379. /*********************************************************************/
  380.  
  381. /**** display *****/
  382.  
  383. typedef struct Aplist aplist ;
  384. struct Aplist {                 /* 同一水準で参照された名前リスト   */
  385.    ctp        *name      ;
  386.    aplist     *next      ;
  387. }                        ;
  388.  
  389. EXTERN int top           ;      /* display の 現在のトップを示すもの*/
  390. EXTERN int level         ;      /* 現在の水準                       */
  391. EXTERN int disx          ;      /* searchidで見つかった水準         */
  392.                                 /*  共通変数になっているのはよくない*/
  393. EXTERN int mainlabel     ;      /* メインブロックのP-codeラベル値   */
  394.  
  395. EXTERN struct {
  396.    ctp         *fname    ;      /* その水準で定義した名前リスト     */
  397.    lbp         *flabel   ;      /* その水準のラベルリスト           */
  398.    ctp         *funcname ;      /* その水準の関数名                 */
  399.    aplist      *aname    ;      /* その水準での引用名リスト         */
  400.    boolean     funcassign;      /* その水準の関数名への代入表示     */
  401.    enum where  occur     ;      /* その水準の定義される場所を示す   */
  402.    int         clev      ;      /*[occur=crec]*/
  403.    int         cdspl     ;      /*[occur=crec]*/
  404.    int         vdspl     ;      /*[occur=vrec]*/
  405. } display[Displimit+1]   ;
  406.  
  407. /**** symbol set *****/
  408. EXTERN Set constbegsys   ;      /* constant begin symbol set    */
  409. EXTERN Set simptypebegsys;      /* simple type begin symbol set */
  410. EXTERN Set typebegsys    ;      /* type begin symbol set        */
  411. EXTERN Set blockbegsys   ;      /* block begin symbol set       */
  412. EXTERN Set selectsys     ;      /* selector symbol set          */
  413. EXTERN Set facbegsys     ;      /* factor begin symbol set      */
  414. EXTERN Set statbegsys    ;      /* statement begin symbol set   */
  415. EXTERN Set statfolsys    ;      /* statement follow symbol set  */
  416. EXTERN Set typedels      ;      /* typed element symbol set     */
  417.  
  418. /**** returned by insymbol() *****/
  419.  
  420. EXTERN enum symbol   sy ;       /* 要素のsymbol  */
  421. EXTERN enum operator op ;       /* 演算子        */
  422. EXTERN char id[MaxIDlng+1] ;    /* identifier    */
  423. EXTERN unsigned char ch ;       /* 読込文字      */
  424. EXTERN int           lgth  ;    /* 文字列等の長さ*/
  425. EXTERN union valu    val   ;    /* 値            */
  426.  
  427. /**** pointers ****/
  428.  
  429. EXTERN extfilep  *fextfilep ;           /* ﾌﾟﾛｸﾞﾗﾑ引数(ﾌｧｲﾙ名)ﾎﾟｲﾝﾀ */
  430.  
  431. EXTERN stp *parmptr ;
  432. EXTERN stp *intptr  ;
  433. EXTERN stp *realptr ;
  434. EXTERN stp *charptr ;
  435. EXTERN stp *boolptr ;
  436. EXTERN stp *nilptr  ;
  437. EXTERN stp *textptr ;
  438.  
  439. EXTERN ctp *fwptr   ;    /* ポインタ型の前方参照のものをつないでおく  */
  440.  
  441. EXTERN ctp *utypptr ;    /* 型名が未定義の時に返却する名前ポインタ    */
  442. EXTERN ctp *ucstptr ;    /* 定数名が未定義の時に返却する名前ポインタ  */
  443. EXTERN ctp *uvarptr ;    /* 変数名が未定義の時に返却する名前ポインタ  */
  444. EXTERN ctp *ufldptr ;    /* フィールド名が未定義の時に返却する名前ポインタ*/
  445. EXTERN ctp *uprcptr ;    /* 手続き名が未定義の時に返却する名前ポインタ*/
  446. EXTERN ctp *ufctptr ;    /* 関数名が未定義の時に返却する名前ポインタ  */
  447.  
  448.  
  449. /**** flags ****/
  450.  
  451. EXTERN boolean defineinput ;     /* input ファイル定義あり の時 真    */
  452. EXTERN boolean defineoutput;     /* outputファイル定義あり の時 真    */
  453. EXTERN boolean pcode ;           /* Pコードの出力要否                 */
  454. EXTERN boolean debug ;           /* デバッグコンパイル指定            */
  455. EXTERN boolean pcdinf;           /* Pコードの情報出力要否             */
  456. EXTERN boolean typevar;          /* 型定義部での型の処理を行う時true
  457.                                    変数定義部での型の処理を行う時false
  458.                               (ポインタ型前方参照チェックのために使用 */
  459.  
  460. /**** Pcode 関連 ****/
  461. EXTERN int topnew    ;        /* その命令を実行した時のスタックの先頭 */
  462. EXTERN int topmax    ;        /* 最も大きくなる場合のスタックの先頭   */
  463. EXTERN int ic        ;        /* instruction counter                  */
  464. EXTERN int lc        ;        /* location   counter (変数の割当番地)  */
  465.  
  466. /**** list 関係 ****/
  467. EXTERN int   lineno;                    /* ソースの行番号             */
  468. EXTERN char  *passname;                 /* Pascal source file name    */
  469. EXTERN int   errorcount  ;              /* 発見したエラー数           */
  470.  
  471. /**** 式のコンパイル時に使用する属性エリア ****/
  472. EXTERN attr gattr           ;
  473.